predicate calculus
['predikeit ˈkælkjələs]
[网络] 谓词演算；谓词逻辑；述词演算
[网络] 谓词演算；谓词逻辑；述词演算
热门查询
- reabsorption n. 再吸收
- redefine vt. 重新定义
- rooter n. 拔根者；挖土机；用鼻拱土的动物
- fetish n. 恋物（等于fetich）；迷信；偶像
- threepenny adj. 三便士的，值三便士的；便宜的；无价值的
- conveyancing n. 产权转让及其证书制作业务
- bev [电] 十亿电伏
- hassle n. 困难，麻烦；激战 vt. 找麻烦，搅扰；与…争辩；使…烦恼 vi. 争论，争辩 n. (Hassle)人名；(瑞典)哈斯勒
- demonstrated 演示
- receptiveness n. 感受性；接受能力
- ayurvedic n. 阿育吠陀（印度草药按摩，等于ayurveda）
- randomization n. [数] 随机化，不规则分布；随机选择
- truce n. 停战；休战；休战协定 vt. 以休战结束；停止争执 vi. 停战 n. (Truce)人名；(英)特鲁斯
- skeet n. 双向飞碟；水瓢；斯吉特 vt. 使急行；喷液体 vi. 迅速跑开；泼
- claret n. 红葡萄酒；深紫红色 n. (Claret)人名；(西)克拉雷特；(法)克拉雷
- residuals n. [数] 残差（residual的复数）；剩余误差；残留物
- complacent adj. 自满的；得意的；满足的
- Marquand n. (Marquand)人名；(法)马康；(英、西)马昆德
- mugged n. 杯子；脸；苦读者 vi. 扮鬼脸，做怪相；行凶抢劫 vt. 给……拍照
- Risley [人名] [英格兰人姓氏] 里斯利住所名称，来源于古英语，含义是“灌木丛+树林，开垦地”(brushwood +wood,clearing); [地名] [英国] 里斯利
